data Cont r a = Cont ((a -> r) -> r)